Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
371	Formal Verification of Dead Code Elimination in Isabelle/HOL Jan Olaf Blech Add to Reading List Source URL: www.jblech.de Language: English - Date: 2007-11-14 03:32:18 Programming language theory Programming language implementation Compiler optimizations Static single assignment form Data-flow analysis Live variable analysis Eval Compiler Dead code elimination Computing Software engineering Compiler construction
372	Advanced Slicing of Sequential and Concurrent Add to Reading List Source URL: www.opus-bayern.de Language: English - Date: 2010-11-02 14:59:32 Debugging Program analysis Program slicing Program transformation Software maintenance Compilers GrammaTech Data-flow analysis Slicing Computing Software engineering Programming language theory
373	FY2010_Financial_Data.xls Add to Reading List Source URL: www.tohoku-epco.co.jp Language: English - Date: 2012-04-26 04:23:33 Generally Accepted Accounting Principles Financial statements Cash flow Balance sheet Fundamental analysis Cash flow statement Accumulated other comprehensive income Equity Comprehensive income Accountancy Finance Business
374	PDF Document Add to Reading List Source URL: www.sics.se Language: English - Date: 2004-07-05 08:06:54 Data types Concurrency control Type theory Program analysis Compiler construction Monitor Flow Java Objective-C C Software engineering Computing Computer programming
375	PDF Document Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English Programming language theory Data-flow analysis Control flow analysis Static single assignment form Control flow graph Switch statement Control flow Basic block Function Compiler construction Software engineering Computing
376	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2012-03-15 17:04:55 Search algorithms Dominator Graph theory Computing Static single assignment form Data-flow analysis Tree traversal Depth-first search Disjoint-set data structure Compiler construction Mathematics Combinatorics
377	PDF Document Add to Reading List Source URL: freya.cs.uiuc.edu Language: English - Date: 2003-11-24 04:06:28 Planar graphs Book:Graph Algorithms Graph theory Graph coloring Data-flow analysis
378	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2010-01-22 18:02:40 Symbol Constructible universe Monotonic function Mathematical analysis Distributed computing architecture Distributed data flow
379	PDF Document Add to Reading List Source URL: faculty.inverhills.edu Language: English - Date: 2005-11-25 12:41:56 Systems theory Design Systems engineering Structured analysis Information systems Data management Data flow diagram Diagram Analysis Systems analysis Software design Science